Search Results

Search Results for: Subnet-Based Communication

Algorithm and Formal Specification of Subnet-Based Communication in WSANs

Journal:Bahria University Journal of Information & Communication Technology, 2016, Volume 9, Special Issue

Author(s): Hamra Afzaal, Nazir Ahmad Zafar

Keyword(s): Formal Verification and Validation, Open Shortest Path First, Subnet-Based Communication, WSAN, VDM-SL

Category

Year

Journal

Close